| 1. | These frames, together with lattice homomorphisms that respect arbitrary suprema, form a category.
|
| 2. | Let "'Dist "'denote the category of bounded distributive lattices and bounded lattice homomorphisms.
|
| 3. | Given the standard definition of isomorphisms as invertible morphisms, a " lattice isomorphism " is just a bijective lattice homomorphism.
|
| 4. | *PM : complete lattice homomorphism, id = 9241 new !-- WP guess : complete lattice homomorphism-- Status:
|
| 5. | *PM : complete lattice homomorphism, id = 9241 new !-- WP guess : complete lattice homomorphism-- Status:
|
| 6. | The symbol " F " is then a functor from the category of sets to the category of lattices and lattice homomorphisms.
|
| 7. | *PM : example of non-complete lattice homomorphism, id = 9253 new !-- WP guess : example of non-complete lattice homomorphism-- Status:
|
| 8. | *PM : example of non-complete lattice homomorphism, id = 9253 new !-- WP guess : example of non-complete lattice homomorphism-- Status:
|
| 9. | *PM : example of a non-lattice homomorphism, id = 9252 new !-- WP guess : example of a non-lattice homomorphism-- Status:
|
| 10. | *PM : example of a non-lattice homomorphism, id = 9252 new !-- WP guess : example of a non-lattice homomorphism-- Status:
|